Understanding Tool-Integrated Reasoning
arxiv.org·19h
🔗Constraint Handling
The Logical Argument
blog.computationalcomplexity.org·3h·
Discuss: blog.computationalcomplexity.org
🔬Logic in Computer Science
The Grammar According to West
dwest.web.illinois.edu·10h·
Discuss: Hacker News
🔬Lean
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·6h·
Discuss: DEV
🔗Constraint Handling
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·22h·
Discuss: Hacker News
👑Isabelle
FLINT: Fast Library for Number Theory
flintlib.org·2d
🧮Algebraic Datatypes
Thinking About Thinking
funcall.blogspot.com·8h·
Discuss: www.blogger.com
🔗Constraint Handling
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·1d·
Discuss: Hacker News
🔗Constraint Handling
Answer: Best ways to do just-in-time learning. Part 3: getting a teaching summary with NotebookLM
searchresearch1.blogspot.com·3h·
Discuss: searchresearch1.blogspot.com
🤖Automated Parsing
Guessing Game: Haskell Style
entropicthoughts.com·2d
👑Dependent Haskell
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·5h·
Discuss: Hacker News
🔍Information Retrieval
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
How we built the most efficient inference engine for Cloudflare’s network
blog.cloudflare.com·9h·
Discuss: Hacker News
🌊Stream Processing
Python 3.14 Preview: Lazy Annotations
realpython.com·9h
λLambda Formalization
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Deep learning reveals antibiotics in the archaeal proteome
nature.com·9h·
Discuss: Hacker News
⚙️ABNF Mining
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·19h
🧠Computational Logic
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·13h·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations